<HTML><HEAD><TITLE>source_close(+SourcePos, +OptionList)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(source_processor)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>source_close(+SourcePos, +OptionList)</H1>
Close an open ECLiPSe source file.
<DL>
<DT><EM>SourcePos</EM></DT>
<DD>Source position handle
</DD>
<DT><EM>OptionList</EM></DT>
<DD>List of options, possibly empty
</DD>
</DL>
<H2>Description</H2>
This is used to close an ECLiPSe source file that was
    previously opened with source_open/3.  It is possible to close
    before the end of the source is reached. Nesting of included
    files is properly handled.
    <P>
    OptionList can contain the following:
    <DL>
    <DT>keep_modules</DT>
    	<DD>keep the modules that have been created implicitly during
	source processing (by default they are erased to restore the
	original state)</DD>
    </DL>
    <P>
    Note that if source_open/3 had been called on an already open stream
    with a stream(Stream) argument, then Stream will not be closed by
    source_close/2.
    
<H2>See Also</H2>
<A HREF="../../lib/source_processor/source_open-3.html">source_open / 3</A>
</BODY></HTML>
